Common reasoning about admissibility
نویسندگان
چکیده
We analyze common reasoning about admissibility in the strategic and extensive form of a game. We define a notion of sequential proper admissibility in the extensive form, and show that, in finite extensive games with perfect recall, the strategies that are consistent with common reasoning about sequential proper admissibility in the extensive form are exactly those that are consistent with common reasoning about admissibility in the strategic form representation of the game. Thus in such games the solution given by common reasoning about admissibility does not depend on how the strategic situation is represented. We further explore the links between iterated admissibility and backward and forward induction.
منابع مشابه
⊤⊤-closed relations and admissibility
While developing a method for reasoning about programs, Pitts defined the ⊤⊤-closed relations as an alternative to the standard admissible relations. This paper reformulates and studies Pitts’s operational concept of ⊤⊤-closure in a semantic framework. It investigates the nontrivial connection between ⊤⊤-closure and admissibility, showing that ⊤⊤-closure is strictly stronger than admissibility ...
متن کاملPartiality, State and Dependent Types
Partial type theories allow reasoning about recursively-defined computations using fixed-point induction. However, fixed-point induction is only sound for admissible types and not all types are admissible in sufficiently expressive dependent type theories. Previous solutions have either introduced explicit admissibility conditions on the use of fixed points, or limited the underlying type theor...
متن کاملNew Results About Sub-Admissibility for General Families on Heuristic Search Algorithms
We propose a formal generalization for various works dealing with Heuristic Search in state graphs. This generalization focuses on the properties of the evaluation functions, on the characteristics of the state graphs, on the notion of path length, on the procedures that control the choices of the node expansions, on the rules that govern the updating operations. Consequently, we present new th...
متن کاملOptimal Search with Inadmissible Heuristics
Considering cost-optimal heuristic search, we introduce the notion of global admissibility of a heuristic, a property weaker than standard admissibility, yet sufficient for guaranteeing solution optimality within forward search. We describe a concrete approach for creating globally admissible heuristics for domain independent planning; it is based on exploiting information gradually gathered by...
متن کاملAdmissibility in Concurrent Games∗†
In this paper, we study the notion of admissibility for randomised strategies in concurrent games. Intuitively, an admissible strategy is one where the player plays ‘as well as possible’, because there is no other strategy that dominates it, i.e., that wins (almost surely) against a superset of adversarial strategies. We prove that admissible strategies always exist in concurrent games, and we ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997